Linear Technology - PDFSEARCH.IO - Document Search Engine

Linear Technology
Results: 1451

#	Item
251	The Conditional Correlation Attack: A Practical Attack on Bluetooth Encryption CRYPTO’05, Santa Barbara Add to Reading List Source URL: www.iacr.org Language: English - Date: 2005-09-01 16:50:50 Serge Vaudenay Correlation attack Technology Correlation and dependence Linear feedback shift register Bluetooth Computing Cryptography Pseudorandom number generators Covariance and correlation
252	RM21 Imperial manual for web Add to Reading List Source URL: www.madcitylabs.com Language: English - Date: 2015-03-18 10:32:25 Electronic design Stepper motor Breadboard Stepper Linear encoder Electrical engineering Technology Electromagnetism
253	Xmas ad - Journal:Layout 1 Add to Reading List Source URL: www.saimm.co.za Language: English - Date: 2015-01-20 16:22:44 Econometrics Economic growth Manufacturing Data envelopment analysis Operations research Coal mining Coal Linear regression Economics Statistics Technology Business
254	Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Management Logic Model theory Linear temporal logic Temporal logic Workflow Satisfiability YAWL Boolean satisfiability problem Mathematical logic Workflow technology Theoretical computer science
255	The Quest for Linear Equation Solvers and the Invention of Electronic Digital Computing John L. Gustafson ClearSpeed Technology, Inc. _ Add to Reading List Source URL: www.johngustafson.net Language: English - Date: 2008-12-21 13:12:44 Numerical linear algebra Equations Numerical software Elementary algebra Iowa State University Atanasoff–Berry Computer Gaussian elimination ENIAC System of linear equations Mathematics Computing Algebra
256	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
257	Dr. Anisullah Baig Group Leader, Microwave Devices Group (MDG), LINAC project, PINSTECH, Islamabad. Anisullah Baig did his MSc (Physics) and M.Phil (Physics, 1st position) from Quaid-iAzam University, Islamabad in Add to Reading List Source URL: suparco.gov.pk Language: English - Date: 2014-07-10 00:46:14 Electromagnetic spectrum IEEE Microwave Theory and Techniques Society Vacuum tubes Microwave Pakistan Institute of Nuclear Science and Technology Terahertz radiation University of California Davis Institute of Electrical and Electronics Engineers Linear particle accelerator Electromagnetic radiation Electromagnetism Technology
258	Models for Mining Equipment Selection Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 17:45:16 Construction Construction equipment Snow removal Mathematical optimization Business Heavy equipment Loader Linear programming Scheduling Engineering vehicles Technology Operations research
259	1. Introduction The work described in this report continues similar work described in a previous report [3]. That report describes a software program that implements an optimal linear demodulator and decoder for direct-p Add to Reading List Source URL: www.eecis.udel.edu Language: English - Date: 1998-07-29 12:41:32 Time in the United States Electromagnetism Digital signal processing Electronic circuits Horology WWV Radio clock Analog-to-digital converter Modulation Electronics Electronic engineering National Institute of Standards and Technology
260	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic

UPDATE